predicate logic

Artificial intelligence systems have been reviewed, which include problem-solvers, expanded predicate logic, expert systems and intelligent CAD systems in FGCS. This paper shows that introduction of artificial intelligence in CAD is an important development tendency.

本文概述了CAD中的人工智能系统，包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能CAD系统，表明在CAD中引进人工智能技术是其重要发展趋势。

Discussion about the transformation research from extensional description logics ALC~+ to predicate logic

扩展描述罗辑ALC~+到谓词逻辑的转换研究初探

This paper deals with the background of the celebrated Goodman's new riddle of induction and the logic and semantics of predicate grue. A Venn's diagram of predicate grue is presented.

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。

The element's index is used in the logic of the predicate function.

将在谓词函数的逻辑中使用元素的索引.

Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.

构造了选矿基础Web数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识；

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

By predicate logic, the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案, 提供了求解的流程.

Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

基于条件谓词逻辑的可信计算形式化分析